intuitionist logic
直觉主义逻辑
热门查询
- flatiron n. 熨斗
- gorse n. 金雀花；荆豆（等于furge） n. (Gorse)人名；(法)戈尔斯
- lose vt. 浪费；使沉溺于；使迷路；遗失；错过 vi. 失败；受损失 n. (Lose)人名；(英)洛斯；(德)洛泽
- Liverpudlian adj. 利物浦的 n. 利物浦市民
- bonded adj. 有担保的；存入保税仓库的 v. 结合（bond的过去分词）
- predecessor n. 前任，前辈
- indented adj. 犬牙交错的；受契约约束的；缩进排印的 v. 缩进；切割成锯齿状（indent的过去分词）
- passer n. 过路人；旅客；考试合格者 n. (Passer)人名；(英、德、捷)帕瑟
- giri n. 义理（人头脑中的一种规范观念，也是一套能产生某种社会拘束力的外在规范）
- gleeful adj. 愉快的
- pronunciation n. 发音；读法
- phonology n. 音系学；音韵学；语音体系
- Suttons 萨顿(英国英格兰东南部城市)
- normative adj. 规范的，标准的
- impaction n. 压紧；装紧；嵌入
- nsa abbr. 美国国家安全局（National Security Agency）；美国国家标准协会（National Standards Association）
- saturated v. 使渗透，使饱和（saturate的过去式） adj. 饱和的；渗透的；深颜色的
- ashram n. 修行的处所；聚会所；嬉皮群居村 n. (Ashram)人名；(尼)阿什拉姆
- facilitated v. 促进；帮助（facilitate的过去分词）；使有利发展
- lowdown n. 真相；内幕
